adjoint functors

伴随函子